TSTP Solution File: DAT189^1 by Mace4---1109a